[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 93 64 67 83 82 0 105 83

N.S.

1 0.99 0.68 0.71 0.88 0.87 0.00 1.12 0.88

time (sec)

N/A 0.244 0.070 2.172 0.220 0.396 0.000 0.315 9.026

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 41 45 51 57 0 72 60

N.S.

1 1.00 0.67 0.74 0.84 0.93 0.00 1.18 0.98

time (sec)

N/A 0.196 0.047 2.015 0.223 0.377 0.000 0.281 8.967

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 79 84 84 0 159 0 116 99

N.S.

1 1.01 1.08 1.08 0.00 2.04 0.00 1.49 1.27

time (sec)

N/A 0.234 0.132 2.010 0.000 0.328 0.000 0.286 9.457

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 92 94 95 0 169 0 76 0

N.S.

1 0.92 0.94 0.95 0.00 1.69 0.00 0.76 0.00

time (sec)

N/A 0.247 0.158 2.152 0.000 0.281 0.000 0.303 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 99 106 103 0 198 0 132 0

N.S.

1 0.96 1.03 1.00 0.00 1.92 0.00 1.28 0.00

time (sec)

N/A 0.247 0.211 2.307 0.000 0.289 0.000 0.298 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 221 248 197 363 418 726 280 0

N.S.

1 0.99 1.11 0.88 1.63 1.87 3.26 1.26 0.00

time (sec)

N/A 0.389 1.784 1.792 0.216 0.412 1.175 0.302 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 169 226 178 315 369 672 246 0

N.S.

1 1.01 1.35 1.07 1.89 2.21 4.02 1.47 0.00

time (sec)

N/A 0.317 1.388 1.797 0.227 0.363 1.126 0.300 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 152 199 159 267 316 614 207 236

N.S.

1 1.03 1.34 1.07 1.80 2.14 4.15 1.40 1.59

time (sec)

N/A 0.286 1.137 1.859 0.220 0.308 1.013 0.293 9.865

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 140 157 140 216 275 551 178 0

N.S.

1 0.97 1.09 0.97 1.50 1.91 3.83 1.24 0.00

time (sec)

N/A 0.304 0.887 1.830 0.218 0.285 4.144 0.297 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 134 124 116 168 224 0 142 0

N.S.

1 0.98 0.91 0.85 1.23 1.64 0.00 1.04 0.00

time (sec)

N/A 0.316 0.292 1.792 0.217 0.293 0.000 0.289 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 117 116 101 148 209 0 121 0

N.S.

1 0.91 0.91 0.79 1.16 1.63 0.00 0.95 0.00

time (sec)

N/A 0.298 0.490 1.834 0.226 0.429 0.000 0.343 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 120 120 101 167 189 0 225 0

N.S.

1 0.88 0.88 0.74 1.23 1.39 0.00 1.65 0.00

time (sec)

N/A 0.314 0.339 1.854 0.215 0.429 0.000 0.450 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 111 110 107 177 207 0 254 0

N.S.

1 1.07 1.06 1.03 1.70 1.99 0.00 2.44 0.00

time (sec)

N/A 0.286 0.278 1.892 0.208 0.429 0.000 0.830 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 65 44 48 193 82 0 370 156

N.S.

1 1.07 0.72 0.79 3.16 1.34 0.00 6.07 2.56

time (sec)

N/A 0.235 0.251 1.827 0.234 0.756 0.000 1.188 9.820

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 99 66 68 241 109 0 430 206

N.S.

1 1.03 0.69 0.71 2.51 1.14 0.00 4.48 2.15

time (sec)

N/A 0.264 0.299 1.832 0.223 0.296 0.000 1.537 10.241

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 89 87 289 134 0 490 256

N.S.

1 1.00 0.67 0.65 2.17 1.01 0.00 3.68 1.92

time (sec)

N/A 0.307 0.370 1.804 0.208 0.320 0.000 1.758 10.817

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 167 110 106 337 157 0 550 306

N.S.

1 0.98 0.65 0.62 1.98 0.92 0.00 3.24 1.80

time (sec)

N/A 0.355 0.422 1.845 0.216 0.380 0.000 2.163 11.415

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 201 132 124 385 181 0 582 356

N.S.

1 0.97 0.64 0.60 1.86 0.87 0.00 2.81 1.72

time (sec)

N/A 0.381 0.497 1.825 0.215 0.488 0.000 2.305 12.101

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

168 161 113 115 150 154 0 175 143

N.S.

1 0.96 0.67 0.68 0.89 0.92 0.00 1.04 0.85

time (sec)

N/A 0.328 0.129 2.209 0.264 0.251 0.000 0.294 9.254

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 127 94 91 128 131 0 140 124

N.S.

1 0.97 0.72 0.69 0.98 1.00 0.00 1.07 0.95

time (sec)

N/A 0.286 0.102 2.177 0.225 0.250 0.000 0.286 9.169

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 95 70 67 105 106 0 105 103

N.S.

1 0.99 0.73 0.70 1.09 1.10 0.00 1.09 1.07

time (sec)

N/A 0.234 0.079 2.027 0.217 0.263 0.000 0.296 9.059

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 41 45 80 80 0 72 83

N.S.

1 1.00 0.67 0.74 1.31 1.31 0.00 1.18 1.36

time (sec)

N/A 0.213 0.053 2.042 0.215 0.269 0.000 0.287 9.014

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 104 108 99 0 206 0 140 0

N.S.

1 1.02 1.06 0.97 0.00 2.02 0.00 1.37 0.00

time (sec)

N/A 0.276 0.190 2.375 0.000 0.286 0.000 0.288 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 118 109 149 0 195 0 115 0

N.S.

1 0.89 0.82 1.12 0.00 1.47 0.00 0.86 0.00

time (sec)

N/A 0.288 0.210 2.686 0.000 0.487 0.000 0.307 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 120 114 117 0 217 0 145 0

N.S.

1 0.89 0.84 0.87 0.00 1.61 0.00 1.07 0.00

time (sec)

N/A 0.279 0.240 2.413 0.000 0.515 0.000 0.318 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 127 132 128 0 250 0 175 0

N.S.

1 0.91 0.94 0.91 0.00 1.79 0.00 1.25 0.00

time (sec)

N/A 0.290 0.316 2.621 0.000 0.419 0.000 0.328 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 158 154 153 0 299 0 214 0

N.S.

1 0.89 0.87 0.86 0.00 1.69 0.00 1.21 0.00

time (sec)

N/A 0.342 0.403 2.829 0.000 0.591 0.000 0.322 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 192 172 176 0 345 0 234 0

N.S.

1 0.90 0.80 0.82 0.00 1.61 0.00 1.09 0.00

time (sec)

N/A 0.386 0.528 3.204 0.000 0.314 0.000 0.332 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 226 198 201 0 393 0 294 0

N.S.

1 0.90 0.79 0.80 0.00 1.57 0.00 1.17 0.00

time (sec)

N/A 0.441 0.541 3.637 0.000 0.357 0.000 0.328 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 168 155 140 231 275 224 184 0

N.S.

1 0.95 0.88 0.80 1.31 1.56 1.27 1.05 0.00

time (sec)

N/A 0.345 0.734 1.849 0.230 0.305 0.848 0.287 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 134 133 121 183 226 201 150 0

N.S.

1 0.96 0.96 0.87 1.32 1.63 1.45 1.08 0.00

time (sec)

N/A 0.310 0.618 1.839 0.244 0.293 0.795 0.304 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 87 108 100 134 177 170 112 0

N.S.

1 1.05 1.30 1.20 1.61 2.13 2.05 1.35 0.00

time (sec)

N/A 0.236 0.435 1.891 0.222 0.300 0.751 0.292 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 65 91 84 88 131 139 77 89

N.S.

1 0.98 1.38 1.27 1.33 1.98 2.11 1.17 1.35

time (sec)

N/A 0.220 0.254 1.833 0.243 0.308 0.705 0.291 9.618

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 62 77 67 56 136 0 66 57

N.S.

1 1.09 1.35 1.18 0.98 2.39 0.00 1.16 1.00

time (sec)

N/A 0.220 0.112 1.807 0.227 0.304 0.000 0.302 9.362

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 65 43 40 70 38 0 124 39

N.S.

1 1.07 0.70 0.66 1.15 0.62 0.00 2.03 0.64

time (sec)

N/A 0.231 0.127 1.777 0.219 0.273 0.000 0.393 9.091

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 99 64 63 119 62 0 180 62

N.S.

1 1.03 0.67 0.66 1.24 0.65 0.00 1.88 0.65

time (sec)

N/A 0.267 0.155 1.933 0.220 0.271 0.000 0.582 9.175

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 89 85 167 86 0 236 121

N.S.

1 1.00 0.67 0.64 1.26 0.65 0.00 1.77 0.91

time (sec)

N/A 0.301 0.195 1.808 0.253 0.286 0.000 0.734 9.206

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 167 110 104 215 110 0 292 156

N.S.

1 0.98 0.65 0.61 1.26 0.65 0.00 1.72 0.92

time (sec)

N/A 0.342 0.228 1.882 0.208 0.315 0.000 0.978 9.253

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 127 85 84 106 83 0 130 87

N.S.

1 0.97 0.65 0.64 0.81 0.63 0.00 0.99 0.66

time (sec)

N/A 0.279 0.096 2.403 0.248 0.265 0.000 0.289 9.192

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 93 63 60 83 59 0 98 64

N.S.

1 0.99 0.67 0.64 0.88 0.63 0.00 1.04 0.68

time (sec)

N/A 0.251 0.073 2.243 0.210 0.270 0.000 0.281 9.210

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 40 37 50 36 0 67 41

N.S.

1 1.00 0.68 0.63 0.85 0.61 0.00 1.14 0.69

time (sec)

N/A 0.202 0.050 2.138 0.215 0.277 0.000 0.287 9.115

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 73 72 0 138 0 80 0

N.S.

1 1.00 1.33 1.31 0.00 2.51 0.00 1.45 0.00

time (sec)

N/A 0.188 0.077 2.057 0.000 0.265 0.000 0.296 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 86 90 0 152 0 66 0

N.S.

1 1.00 1.26 1.32 0.00 2.24 0.00 0.97 0.00

time (sec)

N/A 0.209 0.132 2.051 0.000 0.258 0.000 0.299 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 102 104 110 0 199 0 125 0

N.S.

1 0.99 1.01 1.07 0.00 1.93 0.00 1.21 0.00

time (sec)

N/A 0.253 0.192 2.156 0.000 0.279 0.000 0.318 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 188 156 145 237 340 0 183 0

N.S.

1 1.02 0.85 0.79 1.29 1.85 0.00 0.99 0.00

time (sec)

N/A 0.582 0.761 1.889 0.220 0.280 0.000 0.295 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 139 132 140 187 289 0 145 0

N.S.

1 0.95 0.90 0.95 1.27 1.97 0.00 0.99 0.00

time (sec)

N/A 0.395 0.551 1.921 0.207 0.282 0.000 0.287 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 100 108 114 138 230 0 104 0

N.S.

1 0.89 0.96 1.02 1.23 2.05 0.00 0.93 0.00

time (sec)

N/A 0.285 0.344 1.837 0.204 0.276 0.000 0.305 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 72 77 75 79 188 0 70 78

N.S.

1 1.07 1.15 1.12 1.18 2.81 0.00 1.04 1.16

time (sec)

N/A 0.229 0.138 1.819 0.211 0.284 0.000 0.308 9.460

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 37 37 65 49 0 65 53

N.S.

1 1.00 1.00 1.00 1.76 1.32 0.00 1.76 1.43

time (sec)

N/A 0.187 0.112 1.825 0.218 0.274 0.000 0.331 8.975

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 70 64 59 112 72 0 189 70

N.S.

1 1.06 0.97 0.89 1.70 1.09 0.00 2.86 1.06

time (sec)

N/A 0.227 0.161 2.108 0.221 0.277 0.000 0.499 9.083

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 104 85 80 160 98 0 302 95

N.S.

1 1.03 0.84 0.79 1.58 0.97 0.00 2.99 0.94

time (sec)

N/A 0.265 0.217 2.032 0.222 0.295 0.000 0.917 9.246

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 108 97 208 121 0 415 173

N.S.

1 1.00 0.78 0.70 1.51 0.88 0.00 3.01 1.25

time (sec)

N/A 0.298 0.252 1.796 0.209 0.266 0.000 1.282 9.406

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 135 82 91 82 93 0 145 92

N.S.

1 0.97 0.59 0.65 0.59 0.67 0.00 1.04 0.66

time (sec)

N/A 0.300 0.095 2.580 0.226 0.279 0.000 0.285 9.263

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 101 60 66 59 68 0 107 67

N.S.

1 0.97 0.58 0.63 0.57 0.65 0.00 1.03 0.64

time (sec)

N/A 0.255 0.069 2.401 0.235 0.291 0.000 0.279 9.159

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 35 44 39 45 0 63 44

N.S.

1 1.00 0.51 0.64 0.57 0.65 0.00 0.91 0.64

time (sec)

N/A 0.214 0.054 2.250 0.213 0.298 0.000 0.289 9.097

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 73 79 0 199 0 109 0

N.S.

1 1.00 1.14 1.23 0.00 3.11 0.00 1.70 0.00

time (sec)

N/A 0.211 0.109 2.133 0.000 0.285 0.000 0.277 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 130 96 126 0 260 0 107 0

N.S.

1 0.92 0.68 0.89 0.00 1.83 0.00 0.75 0.00

time (sec)

N/A 0.271 0.182 2.083 0.000 0.301 0.000 0.297 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 130 117 153 0 315 0 149 89

N.S.

1 0.95 0.85 1.12 0.00 2.30 0.00 1.09 0.65

time (sec)

N/A 0.287 0.257 2.106 0.000 0.283 0.000 0.320 10.229

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.170 0.039 0.223 0.200 0.253 0.905 0.282 0.056

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.174 0.038 0.200 0.210 0.249 0.593 0.276 9.046

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 41 28 27 32 46 29 31

N.S.

1 1.00 1.05 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.166 0.035 0.200 0.213 0.247 0.396 0.280 0.044

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 37 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 0.95 0.74 0.79

time (sec)

N/A 0.168 0.035 0.203 0.190 0.276 0.579 0.265 0.045

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 32 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.82 1.18 0.74 0.79

time (sec)

N/A 0.162 0.032 0.205 0.209 0.287 0.247 0.264 9.004

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 35 28 27 30 46 29 31

N.S.

1 1.00 0.90 0.72 0.69 0.77 1.18 0.74 0.79

time (sec)

N/A 0.169 0.030 0.185 0.194 0.281 0.270 0.286 0.045

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 35 28 27 29 44 29 31

N.S.

1 1.00 0.95 0.76 0.73 0.78 1.19 0.78 0.84

time (sec)

N/A 0.167 0.034 0.191 0.208 0.259 0.307 0.281 0.045

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 35 30 27 29 44 29 31

N.S.

1 1.00 0.95 0.81 0.73 0.78 1.19 0.78 0.84

time (sec)

N/A 0.165 0.038 0.050 0.200 0.264 0.444 0.276 9.014

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 61 52 51 56 80 53 51

N.S.

1 1.00 0.97 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.191 0.057 1.790 0.188 0.267 1.874 0.279 8.998

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 61 52 51 56 80 53 51

N.S.

1 1.00 0.97 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.190 0.058 1.813 0.205 0.250 1.294 0.285 0.050

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 61 52 51 56 80 53 51

N.S.

1 1.00 0.97 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.190 0.053 1.789 0.199 0.278 0.962 0.276 0.051

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 61 52 51 56 66 53 51

N.S.

1 1.00 0.97 0.83 0.81 0.89 1.05 0.84 0.81

time (sec)

N/A 0.190 0.051 1.801 0.197 0.264 1.056 0.272 0.050

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 61 52 51 56 80 53 51

N.S.

1 1.00 0.97 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.193 0.051 1.802 0.243 0.255 0.626 0.277 0.050

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 61 52 51 56 80 53 51

N.S.

1 1.00 0.97 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.188 0.054 1.793 0.197 0.248 0.664 0.286 0.050

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 61 52 51 56 80 53 51

N.S.

1 1.00 0.97 0.83 0.81 0.89 1.27 0.84 0.81

time (sec)

N/A 0.185 0.052 1.766 0.207 0.285 0.718 0.271 0.051

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 52 51 54 80 53 51

N.S.

1 1.00 0.95 0.83 0.81 0.86 1.27 0.84 0.81

time (sec)

N/A 0.180 0.050 1.928 0.189 0.254 0.972 0.276 0.056

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 85 76 73 78 114 77 69

N.S.

1 1.00 1.00 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.213 0.121 1.838 0.218 0.269 3.359 0.274 0.041

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 85 76 73 78 114 77 69

N.S.

1 1.00 1.00 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.206 0.113 2.058 0.211 0.257 2.512 0.268 0.034

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 97 76 73 78 114 77 69

N.S.

1 1.00 1.14 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.208 0.076 2.070 0.236 0.276 1.789 0.278 0.034

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 83 76 73 78 95 77 69

N.S.

1 1.00 0.98 0.89 0.86 0.92 1.12 0.91 0.81

time (sec)

N/A 0.208 0.076 1.893 0.222 0.280 1.607 0.282 0.034

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 83 76 73 78 114 77 69

N.S.

1 1.00 0.98 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.211 0.077 1.813 0.192 0.249 1.398 0.279 0.034

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 83 76 73 78 114 77 69

N.S.

1 1.00 0.98 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.215 0.069 1.875 0.209 0.242 1.413 0.273 0.034

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 83 76 73 78 114 77 69

N.S.

1 1.00 0.98 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.220 0.068 1.807 0.205 0.247 1.563 0.269 0.035

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 83 76 73 78 114 77 69

N.S.

1 1.00 0.98 0.89 0.86 0.92 1.34 0.91 0.81

time (sec)

N/A 0.215 0.065 1.773 0.217 0.266 1.801 0.279 0.037

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 277 172 164 237 770 0 298 115

N.S.

1 1.00 0.62 0.59 0.85 2.77 0.00 1.07 0.41

time (sec)

N/A 0.482 0.365 1.839 0.283 0.295 0.000 0.311 9.150

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 275 173 162 259 647 0 298 788

N.S.

1 1.00 0.63 0.59 0.94 2.34 0.00 1.08 2.86

time (sec)

N/A 0.462 0.391 1.980 0.336 0.277 0.000 0.297 9.199

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 258 152 140 214 749 0 264 92

N.S.

1 1.00 0.59 0.54 0.83 2.91 0.00 1.03 0.36

time (sec)

N/A 0.456 0.282 1.773 0.286 0.273 0.000 0.302 9.111

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 256 150 138 235 597 275 263 789

N.S.

1 1.00 0.59 0.54 0.92 2.34 1.08 1.03 3.09

time (sec)

N/A 0.439 0.276 1.773 0.292 0.246 98.313 0.279 9.143

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 239 135 124 194 691 303 251 71

N.S.

1 1.01 0.57 0.52 0.82 2.92 1.28 1.06 0.30

time (sec)

N/A 0.418 0.254 1.952 0.281 0.269 37.344 0.287 0.162

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 237 134 127 218 570 238 251 739

N.S.

1 1.01 0.57 0.54 0.93 2.43 1.01 1.07 3.14

time (sec)

N/A 0.420 0.251 1.790 0.298 0.258 15.751 0.298 9.150

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 237 135 127 194 705 309 251 71

N.S.

1 1.01 0.57 0.54 0.83 3.00 1.31 1.07 0.30

time (sec)

N/A 0.411 0.315 1.754 0.293 0.260 8.341 0.303 9.058

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 239 136 124 218 590 257 251 811

N.S.

1 1.01 0.57 0.52 0.92 2.49 1.08 1.06 3.42

time (sec)

N/A 0.424 0.327 1.776 0.300 0.282 13.820 0.280 9.117

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 152 140 213 738 258 268 90

N.S.

1 1.00 0.60 0.55 0.84 2.89 1.01 1.05 0.35

time (sec)

N/A 0.438 0.330 1.789 0.296 0.261 73.160 0.305 9.050

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 257 154 141 247 643 303 257 555

N.S.

1 1.00 0.60 0.55 0.96 2.50 1.18 1.00 2.16

time (sec)

N/A 0.436 0.348 1.777 0.283 0.279 67.256 0.290 9.180

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 274 174 158 237 784 0 291 107

N.S.

1 0.99 0.63 0.57 0.86 2.84 0.00 1.05 0.39

time (sec)

N/A 0.468 0.404 1.789 0.298 0.269 0.000 0.290 9.056

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 276 176 160 276 672 0 291 563

N.S.

1 0.99 0.63 0.58 0.99 2.42 0.00 1.05 2.03

time (sec)

N/A 0.452 0.411 1.785 0.274 0.293 0.000 0.277 9.273

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

332 319 206 193 298 748 0 335 857

N.S.

1 0.96 0.62 0.58 0.90 2.25 0.00 1.01 2.58

time (sec)

N/A 0.511 1.039 1.833 0.294 0.266 0.000 0.292 9.198

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 302 184 170 247 848 0 299 127

N.S.

1 0.97 0.59 0.55 0.80 2.74 0.00 0.96 0.41

time (sec)

N/A 0.493 0.852 1.821 0.272 0.261 0.000 0.287 0.180

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 300 183 169 271 696 0 298 823

N.S.

1 0.97 0.59 0.55 0.87 2.25 0.00 0.96 2.65

time (sec)

N/A 0.487 0.846 1.808 0.308 0.257 0.000 0.297 9.200

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 283 162 153 223 793 0 283 106

N.S.

1 0.98 0.56 0.53 0.77 2.74 0.00 0.98 0.37

time (sec)

N/A 0.479 0.831 1.823 0.299 0.268 0.000 0.298 0.185

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 281 161 152 250 669 0 283 744

N.S.

1 0.97 0.56 0.53 0.87 2.31 0.00 0.98 2.57

time (sec)

N/A 0.478 0.851 1.826 0.318 0.282 0.000 0.272 0.222

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 263 152 146 217 776 0 273 91

N.S.

1 1.01 0.58 0.56 0.83 2.97 0.00 1.05 0.35

time (sec)

N/A 0.452 0.719 1.839 0.291 0.259 0.000 0.315 9.187

[next] [prev] [prev-tail] [front] [up]